⬆️ Update dependency ty to v0.0.72 - autoclosed - #1565

v0.0.72

Compare Source

Released on 2026-08-14.

Preview features

• Check PEP 723 scripts in isolation (#​27462)

Library support

• Pydantic: Accept documented boolean and fractional inputs (#​27754)
• Pydantic: Accept enum members for lax string and integer fields (#​27751)

Diagnostics

• Improve assignability hints for protocols and TypedDict types (#​27717)

Core type checking

• Avoid treating augmented assignments as attribute definitions (#​27633)
• Diagnose invalid module-level __getattr__ calls (#​27507)
• Fix overload argument expansion with unpacked positional arguments (#​27744)
• Fix specialization of generic TypedDict aliases (#​27760)
• Ignore generic declaration metadata in staticness checks (#​27692)
• Preserve tuple types containing Never (#​27580)
• Report deprecated unary operations (#​27584)
• Respect variance when inferring structural and callable types (#​27707)
• Support TypeVarTuple in call binding (#​26886)
• Treat generator-expression exceptions as eagerly evaluated (#​27735)

Performance

• Avoid exponential narrowing of gradual string-literal unions (#​27742)

Contributors

• @​AlexWaygood
• @​Andrej730
• @​charliermarsh
• @​MichaReiser
• @​dhruvmanila
• @​carljm

v0.0.71

Compare Source

Released on 2026-08-12.

Library support

• Respect third-party keyword-only fields before Python 3.10 (#​27699)

Diagnostics

• Diagnose invalid __getattribute__ calls (#​27506)
• Validate boolean conversion in comprehension filters (#​27641)
• Validate unpacked callable argument shapes (#​27516)

Core type checking

• Avoid introducing boolean literals when narrowing integers (#​27698)
• Fix truthiness inference for subclassable known classes (#​27638)
• Handle class objects that may be descriptors (#​26687)
• Infer type variables through nominal type[...] parameters (#​27689)
• Model exception flow with operation checkpoints (#​27471)
• Preserve constrained TypeVar types when slicing (#​27645)
• Preserve enum attributes on Self and bounded type variables (#​27644)
• Preserve enum exhaustiveness with custom _missing_ methods (#​27700)
• Preserve literal-string origin in comparison narrowing (#​27582)
• Resolve generic type aliases subscripted inside type[] (#​27663)
• Restrict equality impossibility to static bounds (#​27655)

Performance

• Avoid deriving sequents for type variables with concrete bounds (#​27587)

Contributors

• @​dcreager
• @​augustelalande
• @​charliermarsh
• @​carljm
• @​AlexWaygood
• @​ibraheemdev

v0.0.70

Compare Source

Released on 2026-08-10.

LSP server

• Enable and downrank auto-import completions from stub-only modules (#​27433)
• Fix signature help at end of file (#​27622)
• Normalize type labels in structured docstrings (#​26923)
• Preserve typing-only completion ranking in TYPE_CHECKING blocks (#​27549)

CLI

• Avoid deadlock when scheduling watch checks (#​27605)

Diagnostics

• Add an opt-in unsound-return-statement lint (#​27561)
• Add an opt-in unsound-yield lint (#​27593)
• Diagnose invalid __getattr__ calls (#​27502)
• Diagnose invalid descriptor __get__ calls (#​27400)

Core type checking

• Consider object members in protocol comparisons (#​27532)
• Exclude quantified constraints from semantic type walks (#​27613)
• Expand Generator aliases when evaluating return, send, and yield types (#​27577)
• Infer precise TypedDict key-membership truthiness (#​27579)
• Infer variance through type[T] (#​27534)
• Preserve contextual inference for declarations in loops (#​27594)
• Recognize overlapping NewType types and their underlying values (#​27522)
• Require ClassVar declarations for protocol members (#​27530)
• Stabilize recursive gradual type alias materialization (#​27563)
• Support Annotated inside type[...] (#​27629)
• Validate augmented assignment stores (#​27545)

Contributors

• @​AlexWaygood
• @​carljm
• @​charliermarsh
• @​MichaReiser
• @​lerebear

v0.0.69

Compare Source

Released on 2026-08-06.

Core type checking

• isinstance narrowing for generic classes is now more gradual by default (#​27308)

  This new behavior is more similar to what other major type checkers do. For example:

  def f(xs: object):
      if isinstance(xs, list):
          reveal_type(xs)  # now: `list[Unknown]`, before: `Top[list[Unknown]]`

  Note: you might consider enabling analysis.strict-generic-narrowing
  if you prefer the strictly correct behavior.

Contributors

• @​sharkdp

v0.0.68

Compare Source

Released on 2026-08-05.

Diagnostics

• Preserve property getter call errors (#​27509)
• Simplify numeric tower displays (e.g., float over int | float) (#​27406)
• Suggest closing open TypedDict types for Mapping compatibility (#​27512)

Core type checking

• Avoid double inference of Unpack operands in Union (#​27525)
• Fix panic from mismatched OR-pattern bindings (#​27533)

Contributors

• @​AlexWaygood
• @​charliermarsh
• @​carljm

v0.0.67

Compare Source

Released on 2026-08-05.

LSP server

• Fix unused hints for OR-pattern captures (#​27438)
• Index match-pattern bindings as symbols (#​27260)
• Retain typing-only symbols in explicit completions (#​27435)

Diagnostics

• Preserve called types in intersection diagnostics (#​27475)
• Suppress unimported-reveal diagnostics in stub files and if TYPE_CHECKING blocks (#​27508)

Configuration

• Remove deprecated src.root setting in favor of environment.root (#​27456)

Core type checking

• Check property compatibility when matching class objects to protocols (#​27402)
• Fix constructor calls on narrowed type-variable intersections (#​27493)
• Fix specialization cycle with deferred TypeVar defaults (#​27453)
• Infer generic TypedDicts from unpacked TypedDicts (#​27439)
• Infer generic TypedDicts through synthesized constructor signatures (#​27436)
• Normalize unpacked callable signatures for assignability (#​27450)
• Preserve class type parameters through generic decorators (#​27442)
• Preserve generic class type variables in constructor inference (#​27340)
• Preserve return constraints for object-variadic callables (#​27431)
• Preserve return constraints for top callables (#​27446)
• Recover generic constructor types from failing overloads (#​27460)
• Reject Self with incompatible explicit receiver annotations (#​27454)
• Reject unhashable objects for Hashable protocols (#​27441)
• Reject unsupported dataclass_transform parameters (#​27458)
• Restore bottom callable subtyping for gradual prefixes (#​27519)
• Top-materialize is_dataclass type guard (#​27455)
• Validate constructor calls on unbounded type variables (#​27449)

Performance

• Avoid exponential slowdown copying narrowed TypedDict unions (#​27492)

Contributors

• @​Punisheroot
• @​dhruvmanila
• @​AlexWaygood
• @​sharkdp
• @​MichaReiser
• @​carljm
• @​charliermarsh

v0.0.66

Compare Source

Released on 2026-08-03.

LSP server

• Index with-statement targets as symbols (#​27256)
• Trigger signature help after completing callable with parentheses (#​27084)

Library support

• Pydantic: Recognize models installed on extra search paths (#​27429)

Diagnostics

• Detect __aenter__ and __aexit__ that do not return awaitables (#​27414)
• Diagnose dataclass fields after inherited defaults (#​27327)
• Emit diagnostic when specializing a non-generic class (#​26883)
• Improve error context for incompatible callable signatures (#​27422)
• Preserve forwarded expanded-variadic diagnostic sources (#​27266)

Core type checking

• Avoid over-materializing user-defined TypeIs return types (#​26864)
• Fix enum class container assignability (#​27318)
• Hide stub-only helpers from implicit builtin lookup (#​27423)
• Move Unknown out of the experimental ty_extensions API (#​27430)
• Preserve TypeVarTuple context during Generic recovery (#​27381)
• Preserve exact numeric types in covariant collections (#​27311)
• Reject ClassVar and Final qualifiers in NamedTuple fields (#​27380)
• Reject out-of-scope ParamSpec components (#​27378)
• Reject specializing non-generic subclasses (#​27377)
• Respect bounds and constraints in generic materializations (#​27228)
• Sync vendored typeshed stubs (#​27401). Typeshed diff

Contributors

• @​dhruvmanila
• @​carljm
• @​Punisheroot
• @​AlexWaygood
• @​cheparity
• @​BitWeaverDev
• @​charliermarsh
• @​ribru17
• @​sharkdp

v0.0.65

Compare Source

Released on 2026-07-29.

LSP server

• Support comprehension walruses in IDE features (#​26476)

Library support

• Pydantic: Allow mutation of private attributes on frozen models (#​27257)
• Pydantic: Synthesize __replace__ for models (#​27220)

Diagnostics

• Correct ParamSpec forwarded-argument diagnostic locations (#​27263)
• Recover forwarded callable object and constructor sources (#​27264)
• Recover forwarded functools.partial diagnostic sources (#​27265)

Core type checking

• Fix gradual class assignability with generic receivers (#​27223)
• Lazily materialize protocol attributes (#​27267)
• Narrow tagged unions through all type kinds (#​27226)
• Prefer static constrained TypeVar solutions (#​27057)
• Preserve frozen-dataclass setter delegation (#​27217)
• Preserve inference when filtering constructor overloads (#​27254)
• Reject frozen-dataclass field deletion through subclasses (#​27001)
• Stabilize recursive type-constraint ordering (#​27176)
• Support materialized class type expressions (#​27258)

Performance

• Avoid quadratic inference for large literal unions (#​27178)
• Cache protocol receiver binding (#​27301)

Contributors

• @​thejchap
• @​benedikt-bartscher
• @​carljm
• @​charliermarsh

v0.0.64

Compare Source

Released on 2026-07-27.

Bug fixes

• Fix identity narrowing for NewTypes (#​26439)
• Make reachability analysis idempotent (#​27163)

LSP server

• Fix ParamSpec declaration hover and type navigation (#​27183)
• Implement LSP textDocument/implementation request (#​25410)
• Introduce shared primitives for parsing backticks in docstrings (#​26928)
• Render NumPy docstrings as structured Markdown (#​25925)

CLI

• Add --exclude-scripts and --include-scripts (#​27169)
• Discover uv workspace roots (#​25551)

Diagnostics

• Add a lint rule for combined abstract and final decorators (#​26932)
• Change --add-ignore to add space after the colon for ty: ignore (#​27120)
• Fix missing-override-decorator suggestion before Python 3.12 (#​27166)
• Reuse full call diagnostics for implicit setter calls (#​27115)

Configuration

• Allow unresolved unused venv home paths (#​27162)
• Simplify script metadata query (#​27121)

Core type checking

• Decorate only overload implementation signatures (#​27147)
• Don't consider known-instance types, generic aliases or non-singleton special-form types to be single-valued (#​27137)
• Improve identity comparison inference for singleton types (#​27126)
• Improve tuple membership and rich comparison inference (#​27164)
• Model walrus bindings from comprehensions (#​26466)
• Narrow tagged unions using identity comparisons (#​27130)
• Preserve Self in __new__ calls (#​27003)
• Preserve receiver constraints when binding overloaded methods (#​27038)
• Support generic manual PEP 695 type aliases (#​27083)
• Treat bivariance as covariant (#​24319)

Performance

• Avoid cycles when resolving ModuleType globals (#​27182)
• Avoid expanding optional enum comparisons (#​27105)
• Avoid repeated inference when copying mixed TypedDict unions (#​27108)
• Improve importer performance (#​27159)
• Improve union and intersection builder performance (#​27167)

Contributors

• @​perfloop-agent
• @​carljm
• @​lerebear
• @​Gankra
• @​TrapsterDK
• @​MichaReiser
• @​thejchap
• @​mtshiba
• @​denyszhak
• @​charliermarsh
• @​AlexWaygood

v0.0.63

Compare Source

Released on 2026-07-23.

Core type checking

• Handle generic stringified PEP 613 (typing.TypeAlias) type aliases (#​27092)
• Allow equality narrowing across non-final classes (#​27031)
• Allow interpolated string literals to be promoted to str (#​27104)
• Fix double specialization of generic type aliases (#​27058)
• Fix intersections of type and TypeForm (#​27099)
• When narrowing from a match statement leads a variable x to be inferred as A & B, infer the type of x.attr as <type of A.attr> & <type of B.attr> (#​27103)

Library support

• Pydantic: Stricter validation of sub-model fields in lax mode (#​27091)
• Pydantic: Support special underscore parameters in BaseSettings models (#​27098)

Performance

• Avoid exponential narrowing of optional dynamic match subjects (#​27100)
• Avoid normalizing cached absolute file paths (#​26998)

Contributors

• @​sharkdp
• @​charliermarsh
• @​ibraheemdev
• @​carljm

v0.0.62

Compare Source

Released on 2026-07-21.

Bug fixes

• Guard recursive Protocol and TypedDict relations (#​26990)
• Prevent stack overflows in recursive type relation checks (#​26503)
• Recover from cancelled file indexing (#​26876)

Diagnostics

• Avoid editing ignore comments with trailing reasons (#​26939)
• Prefer innermost inline suppressions (#​26940)
• Remove unused own-line ignore comments (#​27013)
• Reuse applicable own-line suppressions in --add-ignore (#​26925)

Configuration

• Respect rules and analysis in PEP 723 script metadata configurations (#​26671)

Core type checking

• Accept gradual constrained TypeVar solutions (#​26965)
• Avoid recursive TypeVarTuple alias expansion (#​27032)
• Check inherited method conflicts via the MRO (#​27019)
• Contextually infer custom __setattr__ assignments (#​27015)
• Fix Callable isinstance reachability (#​26970)
• Fix Just[float] protocol matching (#​27053)
• Fix Self binding for classmethod __new__ constructors (#​27030)
• Fix nested short-circuit flow snapshots (#​26956)
• Gate TypedDict PEP 728 parameters by Python version (#​26968)
• Improve match reachability inference around value-pattern branches (#​26979)
• Make membership and equality narrowing consistent (#​26982)
• Preserve constrained TypeVar equality narrowing (#​26988)
• Preserve constrained TypeVar inequality narrowing (#​26995)
• Preserve unsatisfiable generic call constraints (#​26964)
• Respect bounded typevars in union inference (#​27023)
• Respect metaclass __setattr__ for class attributes (#​27000)

Performance

• Cache non-terminal-call reachability prefixes (#​26810)
• Cache protocol Self binding (#​26997)
• Cache sparse reachability checkpoints (#​26811)
• Defer statement-call narrowing gates (#​26793)

Contributors

• @​charliermarsh
• @​MichaReiser
• @​carljm
• @​AlexWaygood
• @​mtshiba

v0.0.61

Compare Source

Released on 2026-07-17.

Bug fixes

• Avoid recursive protocol structural comparisons (#​26721)

LSP server

• Render Google docstrings as structured Markdown (#​26599)

Library support

• Pydantic: Collect field metadata through subscripted generic Annotated aliases (#​26885)

Diagnostics

• Avoid extending own-line suppressions in --add-ignore (#​26808)

Core type checking

• Derive descriptor setter domains for protocols (#​26683)
• Enforce declared receiver TypeVar domains (#​26863)
• Infer isinstance results for aliases and type variables (#​26961)
• Infer isinstance results for fixed class tuples (#​26935)
• Narrow inline list and set membership checks (#​26955)
• Narrow tagged unions by tag truthiness (#​26887)
• Narrow walrus expression values (#​26949)
• Project intersections in to_instance (#​26892)
• Remove inferable TypeVar artifacts recursively (#​26787)
• Respect mixin receiver domains in method overrides (#​26941)
• Support TypeVarTuple and Unpack (#​25240)

Performance

• Deduplicate completion labels (#​26890)
• Only collect expected types for files open in the editor (#​25546)
• Parallelize subtype hierarchy search (#​26875)
• Share heap-backed parser names with CharStr (#​26594)
• Use the new incremental checker from the ignore crate (#​26933)

Contributors

• @​MichaReiser
• @​denyszhak
• @​lerebear
• @​dhruvmanila
• @​charliermarsh
• @​BurntSushi
• @​Aethryl
• @​carljm
• @​ibraheemdev

v0.0.60

Compare Source

Released on 2026-07-15.

Bug fixes

• Expand transparent callable workaround with overloads and Awaitable[T] (#​26761)
• Separate type-mapping caches by transformation mode (#​26857)
• Avoid recursive protocol union redundancy checks (#​26689)
• Handle recursive protocols in redundant-cast checks (#​26708)

LSP server

• Prevent type that is written with a code span from being incorrectly re-wrapped during docstring Markdown rendering (#​26723)

Library support

• Pydantic: Support populate_by_name and custom initializers (#​26764)
• Pydantic: Warn about immediately discarded extra arguments (#​26762)

Diagnostics

• Narrow TypeGuard keyword arguments and remove invalid-type-guard-call (#​26809)
• Support own-line suppression comments (#​26785)

Core type checking

• Derive descriptor setter domains for protocols (#​26683)
• Handle cycles in derived constraint relations (#​26814)
• Implement unified generic call inference (#​26141)
• Preserve constraints from bound receivers (#​26776)
• Project exact-length narrowing through TypeVars (#​26852)
• Resolve PEP 695 aliases in type[...] annotations (#​26842)
• Retain sequence pattern narrowing in successful match cases (#​26807)
• Support class and static protocol methods (#​26574)
• Support class objects satisfying instance-method protocols (#​26789)
• Support type[Protocol] (#​26649)
• Sync vendored typeshed stubs (#​26840). Typeshed diff
• Treat transparent callable decorators consistently in class assignments (#​26720)

Performance

• Compare overloaded protocol method returns pairwise (#​26684)
• Extend PathBounds fast-path to support both upper and lower bounds (#​26782)
• Skip Self type scans for non-generic instances (#​26703)

Contributors

• @​sharkdp
• @​mtshiba
• @​dhruvmanila
• @​lerebear
• @​carljm
• @​charliermarsh
• @​ibraheemdev
• @​RasmusNygren